prenex normal form - Allemand Anglais Dictionnaire